Having the "Exit" option in the file menu in the menu bar is
redundant because of the "Quit jEdit" option in the jEdit menu in
the menu bar
| Submitted | *anonymous - 2004-02-16 22:17:23 | Assigned | evanpw |
|---|---|---|---|
| Priority | 5 | Labels | |
| Status | open | Group | None |
| Resolution | None |
| 2011-11-27 04:15:55 ezust |
- **assigned_to**: nobody --> evanpw |
|---|---|
| 2011-11-27 04:16:18 ezust |
- **summary**: Mac OS X plugin --> Mac OS X plugin - redundant exit menu item |
| 2011-11-27 04:16:52 ezust |
- **summary**: Mac OS X plugin - redundant exit menu item --> Mac OS X plugin - redundant Quit jEdit menu item |